321. Designing, engineering, and analyzing reliable and efficient software
Author: Hardeep Singh and Kulwant Kaur, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development.,COMPUTERS -- Programming -- Open Source.,Software engineering.
322. Deterministic network calculus :
Author: Anne Bouillard, Marc Boyer, Euriell Le Corronc.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Mathematical models.,Queuing theory.,Computer networks-- Mathematical models.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Queuing theory.
Classification :
QA274
.
8
323. DevOps for SharePoint :
Author: Oscar Medina, Ethan Schumann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft SharePoint (Electronic resource),Microsoft SharePoint (Electronic resource),Intranets (Computer networks),Web servers.,Business mathematics & systems.,Computer programming-- software development.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Intranets (Computer networks),Microsoft programming.,Web servers.
Classification :
TK5105
.
8885
.
M543
324. Differentiable Optimization and Equation Solving
Author: by John Lawrence Nazareth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Algorithms.,Computer science-- Mathematics.,Management science.,Mathematical models.,Mathematical optimization.,Mathematics.,Mathematics.,Operations research.,Computational Mathematics and Numerical Analysis.,Mathematical Modeling and Industrial Mathematics.,Operations Research, Management Science.,Optimization.
325. Differentiation in logical form
Author: by: Mehrdad Maleki,^AMaleki, Mehrdad
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Logic programming,Computer logic,Nonsmooth optimization,Interval analysis )Mathematics(,Automatic differentiation
326. Discrete-Event Simulation
Author: by George S. Fishman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Computer simulation.,Economics.,Mathematics.,Operations research.
327. Discrete Mathematics
Author: by L. Lovász, J. Pelikán, K. Vesztergombi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis.,Combinatorial analysis.,Mathematics.,Mathematics.,Number theory.,Number theory.
328. Discrete computational structures
Author: Korfhage, Robert R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Mathematics-- Data processing
Classification :
QA
76
.
6
.
K68
329. Discrete computational structures
Author: / (by) Robert R. Korfhage
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Mathematics -- Data processing
Classification :
QA
76
.
6
.
K68
330. Discrete mathematics /
Author: John A. Dossey [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Mathematics.,Computer science-- Mathematics.,Mathematics.
Classification :
QA39
.
3
.
D58
2006
331. Discrete structures, logic, and computability
Author: James L. Hein
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
Classification :
QA
76
,.
9
.
H42D5
2010
332. Discrete structures, logic, and computability
Author: / James L. Hein
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
Classification :
QA76
.
9
.
M35
,.
H44
2010
333. Discrete structures, logic, and computability
Author: James L. Hein
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
Classification :
QA
76
.
9
.
M35H43
2010
334. Domain Theory, Logic and Computation :
Author: edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
QA76
.
7
E358
2003
335. Domain-theoretic foundations of functional programming
Author: / Thomas Streicher
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
Classification :
QA
76
.
7
.
S818
2006
336. Dynamical systems with applications using Python /
Author: Stephen Lynch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Dynamics-- Mathematical models.,Python (Computer program language),Applications of Mathematics.,Complex Systems.,Dynamical Systems and Ergodic Theory.,Mathematical and Computational Engineering.,Ordinary Differential Equations.,Statistical Physics and Dynamical Systems.,Applied mathematics.,Differential calculus & equations.,Dynamics-- Mathematical models.,Mathematics-- Applied.,Mathematics-- Differential Equations.,Mathematics-- Mathematical Analysis.,Maths for engineers.,Nonlinear science.,Python (Computer program language),Science-- Mathematical Physics.,Science-- Physics.,Statistical physics.
Classification :
QA845
337. Dynamics: Numerical Explorations
Author: by Helena E. Nusse, James A. Yorke, Eric J. Kostelich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.
338. Economic Equilibrium:
Author: edited by Alan S. Manne.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Mathematical optimization.,Mathematics.
339. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
Author: Christian Herde ; With a foreword by Martin Fränzle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
Classification :
QA76
.
9
.
A96
H47
2011
340. Elementary linear programming with applications
Author: / Bernard Kolman, Robert E. Beck
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Linear programming
Classification :
T57
.
74
.
K64
